Rational Subsets and Submonoids of Wreath Products
نویسندگان
چکیده
It is shown that membership in rational subsets of wreath products H ≀ V with H a finite group and V a virtually free group is decidable. On the other hand, it is shown that there exists a fixed finitely generated submonoid in the wreath product Z ≀ Z with an undecidable membership problem.
منابع مشابه
ar X iv : 1 30 2 . 24 55 v 1 [ m at h . G R ] 1 1 Fe b 20 13 Rational subsets and submonoids of wreath products ⋆
It is shown that membership in rational subsets of wreath products H ≀ V with H a finite group and V a virtually free group is decidable. On the other hand, it is shown that there exists a fixed finitely generated submonoid in the wreath product Z ≀ Z with an undecidable membership problem.
متن کاملSubmonoids and rational subsets of groups with infinitely many ends
In this paper we show that the membership problems for finitely generated submonoids and for rational subsets are recursively equivalent for groups with two or more ends.
متن کاملar X iv : 0 90 7 . 07 87 v 1 [ m at h . G R ] 4 J ul 2 00 9 Submonoids and rational subsets of groups with infinitely many ends
In this paper we show that the membership problems for finitely generated submonoids and for rational subsets are recursively equivalent for groups with two or more ends.
متن کاملThe Rational Subset Membership Problem for Groups: A Survey
The class of rational subsets of a group G is the smallest class that contains all finite subsets of G and that is closed with respect to union, product and taking the monoid generated by a set. The rational subset membership problem for a finitely generated group G is the decision problem, where for a given rational subset of G and a group element g it is asked whether g ∈ G. This paper presen...
متن کاملRestricted cascade and wreath products of fuzzy finite switchboard state machines
A finite switchboard state machine is a specialized finite state machine. It is built by binding the concepts of switching state machines and commutative state machines. The main purpose of this paper is to give a specific algorithm for fuzzy finite switchboard state machine and also, investigates the concepts of switching relation, covering, restricted cascade products and wreath products of f...
متن کامل